; 用于写 Lean 代码的快捷键

HotIfWinActive("ahk_exe Code.exe")  ; 如果使用 VS Code
Hotkey "!Space", (*) => SendInput("«»{Left}") ; 用 Alt + 空格 输入 «»

HotIfWinActive("ahk_exe LyX.exe")  ; 如果使用 LyX
Hotkey "!Space", (*) => SendInput("{F13}") ; 结合 LyXBind 用 Alt + 空格 切换数学模式